89 research outputs found

    Global exponential stabilization of language constrained switched linear discrete-time system based on the s-procedure approach

    Get PDF
    This paper considers global exponential stabilization (GES) of switched linear discrete-time system under language constraint which is generated by non-deterministic finite state automata. A technique in linear matrix inequalities called S-procedure is employed to provide sufficient conditions of GES which are less conservative than the existing Lyapunov-Metzler condition. Moreover, by revising the construction of Lyapunov matrices and the corresponding switching control policy, a more flexible result is obtained such that stabilization path at each moment might be multiple. Finally, a numerical example is given to illustrate the effectiveness of the proposed results

    Randomized and efficient time synchronization in dynamic wireless sensor networks: a gossip-consensus-based approach

    Get PDF
    This paper proposes novel randomized gossip-consensus-based sync (RGCS) algorithms to realize efficient time correction in dynamic wireless sensor networks (WSNs). First, the unreliable links are described by stochastic connections, reflecting the characteristic of changing connectivity gleaned from dynamicWSNs. Secondly, based on the mutual drift estimation, each pair of activated nodes fully adjusts clock rate and offset to achieve network-wide time synchronization by drawing upon the gossip consensus approach. The converge-to-max criterion is introduced to achieve a much faster convergence speed. The theoretical results on the probabilistic synchronization performance of the RGCS are presented. Thirdly, a Revised-RGCS is developed to counteract the negative impact of bounded delays, because the uncertain delays are always present in practice and would lead to a large deterioration of algorithm performances. Finally, extensive simulations are performed on the MATLAB and OMNeT++ platform for performance evaluation. Simulation results demonstrate that the proposed algorithms are not only efficient for synchronization issues required for dynamic topology changes but also give a better performance in term of converging speed, collision rate, and the robustness of resisting delay, and outperform other existing protocols

    Synchronisation of linear continuous multi-agent systems with switching topology and communication delay

    Get PDF
    A distributed dynamic output feedback control is designed by Scardovi and Sepulchre for the synchronization of a network of identical linear systems, known as agents in literature. The design is based on some mild conditions allowing switching topology. But it assumes that there is no time delay in signal transfer between the neighbouring agents. In this paper we extend their work to include known time delay in communications. Furthermore, our design has some special features: (a) the delay can be arbitrary and only need to be uniformly bounded by a constant, (b) the conditions that time delay should be the same and sufficiently small in some literature are not required here, and (c) no local buffer is required to store past data due to time-delay effect

    Almost sure stability of discrete-time Markov Jump Linear Systems

    Get PDF
    This paper deals with transient analysis and almost sure stability for discrete-time Markov Jump Linear System (MJLS). The expectation of sojourn time and activation number of any mode, and switching number between any two modes of discrete-time MJLS are presented firstly. Then a result on transient behavior analysis of discrete-time MJLS is given. Finally a new deterministically testable condition for the exponential almost sure stability of discrete-time MJLS is proposed

    Almost sure consensus for multi-agent systems with two level switching

    Get PDF
    In most literatures on the consensus of multi-agent systems (MASs), the agents considered are time-invariant. However in many cases, for example in airplane formation, the agents have switching dynamics and the connections between them are also changing. This is called two-level switching in this paper. We study almost sure (AS) consensus for a class of two-level switching systems. At the low level of agent dynamics, switching is determin- istic and controllable. The upper level topology switching is random and follows a Markov chain. The transition probability of the Markov chain is not fixed, but varies when low level dynamics changes. For this class of MASs, a sufficient condition for AS consensus is developed in this paper
    • …
    corecore